Iterated Covariant Powerset is not a Monad

نویسندگان
چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Stroke in MELAS is a Vasogenic Edema and Not Ischemic

We read with interest the article by Almasi et al. on a 48 years old female patient with Mitochondrial Encephalomyopathy, Lactic Acidosis, And Stroke-like episodes (MELAS), diagnosed based on the clinical presentation, blood test results, and imaging and muscle biopsy findings . We have the following comments and concerns.

متن کامل

Generalizing the powerset construction, coalgebraically

Coalgebra is an abstract framework for the uniform study of different kinds of dynamical systems. An endofunctor F determines both the type of systems (F-coalgebras) and a notion of behavioral equivalence (∼F) amongst them. Many types of transition systems and their equivalences can be captured by a functor F. For example, for deterministic automata the derived equivalence is language equivalen...

متن کامل

All You Need is the Monad. . . What Monad Was That Again?

Probability enjoys a monadic structure (Lawvere 1962; Giry 1981; Ramsey and Pfeffer 2002). A monadic computation represents a probability distribution, and the unit operation return a creates the (Dirac) distribution “certainly a.” The bind operation combines a distribution of type M a and a function of type a -> M b; the function is a probability kernel (Pollard 2002), and it represents the co...

متن کامل

What is so special with the powerset operation?

The powerset operator, P, is an operator which (1) sends sets to sets,(2) is defined by a positive formula and (3) raises the cardinality of its argument, i.e., |P(x)| > |x|. As a consequence of (3), P has a proper class as least fixed point (the universe itself). In this paper we address the questions: (a) How does P contribute to the generation of the class of all positive operators? (b) Are ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Electronic Notes in Theoretical Computer Science

سال: 2018

ISSN: 1571-0661

DOI: 10.1016/j.entcs.2018.11.013